| 1. | Study of flexible logic based on universal logic
基于泛逻辑学的柔性命题逻辑研究 |
| 2. | Proving several theorems in first order logic based on back - and - forth method
向前向后法证明一阶逻辑的几个定理 |
| 3. | The teaching logic base and structural framework of modern long - distance higher education
现代远程高等教育教学的逻辑起点和结构框架 |
| 4. | Generalized tautologies theory of universal logic based on 0 - level universal and operators
基于零级泛与运算的泛逻辑中广义重言式理论 |
| 5. | Semantic system of lattice - valued propositional logic based on finite lattice implication algebra
基于有限格蕴涵代数的格值命题逻辑语义系统 |
| 6. | Syntactic system of lattice - valued propositional logic based on finite lattice implication algebra
基于有限格蕴涵代数的格值命题逻辑语法系统 |
| 7. | However , this tempo - ral logic based technology was not conveniently applied to the verification ofknowledge logic specification
然而,传统的模型检测是基于时态逻辑的,它并不支持知识逻辑规范的验证。 |
| 8. | Pattern centers around the simple concept of routing requests to specific pieces of business logic based on some defined criteria
模式是向基于既定标准的具体商业逻辑片断发送请求这个简单概念的核心内容。 |
| 9. | The paper explores the conditions of reasoning rules for predication logic based on logic relationship associating with employing counter - examples
摘要基于一阶逻辑相关概念的内涵，结合恰当的反例，探析了一阶逻辑推理规则成立的条件。 |
| 10. | Abstract : suggests a distributed operator logic based on evidence , which follows from the concept of relation number in the spa , and discuss its properties
文摘:根据spa中联系数的概念，提出了一个基于证据的分布算子逻辑，并讨论了其性质 |
